универсально экзистенциональный класс

Mathematics: universally existential class